Santini_Francesco_SR_INRIA

Source URL: fellowship.ercim.eu

• Declarative programming
• Constraint programming
• Software engineering
• Theoretical computer science
• Programming paradigms
• Graph theory
• Constraint logic programming
• Logic programming
• Graph rewriting
• Graph

A Fast Linear-Arithmetic Solver for DPLL(T) Bruno Dutertre and Leonardo de Moura Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA {bruno, demoura}@csl.sri.com

Source URL: yices.csl.sri.com

• Theoretical computer science
• Logic
• Mathematics
• Constraint programming
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Boolean satisfiability problem
• Simplex algorithm
• Satisfiability

Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals Kazutaka Matsuda Tohoku University

Source URL: www2.sf.ecei.tohoku.ac.jp

• Mathematics
• Special functions
• Declarative programming
• Automated theorem proving
• Logic programming
• Data types
• Functional programming
• Logical truth
• Substitution
• Cons
• Exponentiation
• Inverse trigonometric functions

Appears in the Proceedings of the National Science Foundation Workshop on Next Generation Data Mining, Nov. 2002, Baltimore, MD. Relational Data Mining with Inductive Logic Programming for Link Discovery Raymond J. Moon

Source URL: www.cs.utexas.edu

Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS ∗ Feng Niu

Source URL: www.cs.stanford.edu

• Constraint programming
• Automated theorem proving
• Theoretical computer science
• Mathematics
• Mathematical logic
• Markov logic network
• WalkSAT
• Graph partition
• Nibbles
• Local search
• Resolution
• Alchemy

Advances in gringo series 3 Martin Gebser, Roland Kaminski, Arne K¨onig, and Torsten Schaub? Institut f¨ur Informatik, Universit¨at Potsdam Abstract. We describe the major new features emerging from a significant rede

Source URL: www.cs.uni-potsdam.de

• Model theory
• Quantification
• Answer set programming
• Logic programming
• FO
• Functional predicate
• Universal quantification
• Limit of a function
• Expected value
• Predicate

Appears in Proceedings of the 17th International Conference on Inductive Logic Programming (ILP). Corvallis, Oregon, USA. June, 2007. Combining Clauses with Various Precisions and Recalls to Produce Accurate Probabilisti

Source URL: mark.goadrich.com

The ∇-Calculus. Functional Programming with Higher-order Encodings. Carsten Sch¨ urmann, Adam Poswolsky, Jeffrey Sarnat Yale University

Source URL: www.itu.dk

• Logic in computer science
• Lambda calculus
• Models of computation
• Combinatory logic
• First-order logic
• Substitution
• Symbol
• Natural deduction

Opis: Reliable Distributed Systems in OCaml ´ Pierre-Evariste Dagand Dejan Kosti´c

Source URL: infoscience.epfl.ch

• Computing
• Computer programming
• Software engineering
• File sharing
• Distributed computing
• Lambda calculus
• Logic in computer science
• Network architecture
• OCaml
• Combinatory logic
• Gossip protocol
• Peer-to-peer

The GoDeL Planning System: A More Perfect Union of Domain-Independent and Hierarchical Planning Vikas Shivashankar1 Ron Alford1 Ugur Kuter2 Dana Nau1

Source URL: www.cs.umd.edu

• Philosophy
• American philosophers
• Automated planning and scheduling
• Hierarchical task network
• Partial-order planning
• Kurt Gdel
• Logic programming
• Godel